Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.Sp. Issue 1 din 2014  
         
  Articol:   ERLANG-LIKE DYNAMIC TYPING IN C++.

Autori:  MELINDA TÓTH. 		 
       
         
  Rezumat:   Each programming language has its type system. In simple terms, when the type checking takes place at compile time we call this language statically typed. On the other hand, if the type checking is done at runtime, it is a dynamically typed language. In this paper we present the key di fferences between the two approaches by choosing two general purpose programming languages, one from each category. Erlang is a dynamically typed language with an infrastructure for developing highly available, distributed applications. However for computation intensive tasks for performance reasons a statically typed language would be a better choice. This paper introduces a method of interoperability between Erlang and C++   in the perspective of type systems.

2010 Mathematics Subject Classi cation. 68N15, 68N19.1998 CR Categories and Descriptors. D.3.3 [Programming Languages]: Language Constructs and Features - Data types and structures; F.3.1 [Logics and Meanings of Programs]: Semantics of Programming Languages - Algebraic approaches to semantics.

Key words and phrases. Connecting programming languages, Erlang, C++  , interoperability, type system, data mining, static code analysis, graph representation.
 
         
     
         
         
      Revenire la pagina precedentă